Embedding an Arbitrary 1-safe Petri Net into a Boolean Petri Net
نویسندگان
چکیده
منابع مشابه
Embedding an Arbitrary 1-safe Petri Net into a Boolean Petri Net
Petri, C. A. , Kommunikation mit automaten, Schriften des Institutes fur Instrumentelle Mathematik, Bonn, 1962. Callou, G. , Macial, P. , Tutsch, D. , Araujo, J. , Ferreira, J. and Souza, R. , A Petri net-based approach to the quantification of data center dependability. In: Petri nets—Manufacturing and Computer Science (Ed. : Pawel Pawlewski), 2012, 313-336. Dassow, J. , Mavlankulov, G. , Othm...
متن کاملConstruction of a Crisp Boolean Petri Net from a 1-safe Petri Net
The concept of a Petri net, a tool for the study of certain discrete dynamical systems, was invented in 1939 by Carl Adam Petri. In the attempt to characterize Boolean Petri nets, we discovered a subclass of Boolean Petri net called the crisp Boolean Petri net, viz. , the one that generates every binary vector as its marking vectors exactly once. In this paper, the construction of a crisp Boole...
متن کاملThe Petri Net Baukastenn: an Application-oriented Petri Net Technology
The basic concepts of the Petri Net Baukastenn are introduced. The Petri Net Baukastenn is a Petri net technology and provides Petri net techniques. The Petri Net Baukastenn is consists of the Common Base and three diierent views, the Application Developer View, the Tool Developer View, and the Expert View. The main focus is to support the application developer and the tool developer as well as...
متن کاملSymbolic Petri Net Analysis Using Boolean Manipulation
This work presents an ennumerative analysis approach for bounded Petri nets. The structure and behavior of the petri net are symbolically modeled by using boolean functions; thus, reducing reasoning about Petri nets to boolean calculation. The set of reachable markings is enumerated by symbolically ring the transitions in the Petri net. Highly concurrent Petri nets may suuer from the state expl...
متن کاملPetri Net Analysis Using Boolean Manipulation
This paper presents a novel analysis approach for bounded Petri nets. The net behavior is modeled by boolean functions, thus reducing reasoning about Petri nets to boolean calculation. The state explosion problem is managed by using Binary Decision Diagrams (BDDs), which are capable to represent large sets of markings in small data structures. The ability of Petri nets to model systems, the exi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2013
ISSN: 0975-8887
DOI: 10.5120/11964-7824